Towards a Rigorous Approach to UML-Based Development
نویسندگان
چکیده
We discuss the promises and problems of UML-based development. We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملGenerative frameworks for rigorous model-driven development
Our increasing reliance on software systems requires reliable software. Mainstream software manufacture, however, is not rigorous and precise, and resulting software lacks the desired reliability. Formal methods take a rigorous and precise approach to software development, delivering reliable software, but they are widely recognised as being impractical. Although the situation is improving, the...
متن کاملModelling requirements with UML : a rigorous approach ( Doing requirements well with UML ) Half - day tutorial proposal Proposers
The tutorial addresses the problems connected with requirements modelling in a UMLbased development process. UML supports requirements modelling by means of use cases. This practice suffers from several limitations, especially as use cases are quite informal descriptions –thus allowing ambiguities and misinterpretation of requirements– and they are not object-oriented –thus making traceability ...
متن کاملMaking Pattern- and Model-Based Software Development More Rigorous
Pattern-based and model-based software development approaches have a high potential to improve the quality of software. Patterns allow engineers to re-use established and proven development knowledge. Developing software by constructing a sequence of models provides engineers with various possibilities for validation, because the different development models are not independent of each other an...
متن کاملTriune Continuum Paradigm and Problems of UML Semantics
We present the results of our research that is positioned in the domain of system modeling. In particular, we present an object-oriented paradigm that provides a logically rigorous and complete theoretical base for various existing object-oriented frameworks. The strong points of the paradigm are presented by demonstrating how the paradigm can resolve a number of existing problems of the Unifie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 130 شماره
صفحات -
تاریخ انتشار 2005